Class Hierarchy
- java.lang.Object
- edu.uky.ai.lp.logic.BooleanExpression (implements edu.uky.ai.lp.logic.Expression)
- edu.uky.ai.lp.logic.NAryBooleanExpression
- edu.uky.ai.lp.logic.Conjunction
- edu.uky.ai.lp.logic.Disjunction
- edu.uky.ai.lp.logic.Negation
- edu.uky.ai.lp.logic.NAryBooleanExpression
- edu.uky.ai.lp.logic.Fact (implements edu.uky.ai.lp.logic.Expression)
- edu.uky.ai.lp.logic.KnowledgeBase
- edu.uky.ai.lp.logic.Rule
- edu.uky.ai.lp.logic.Term (implements edu.uky.ai.lp.logic.Formula)
- edu.uky.ai.lp.logic.Unifier (implements java.lang.Cloneable)
- edu.uky.ai.lp.logic.BooleanExpression (implements edu.uky.ai.lp.logic.Expression)
Interface Hierarchy
- edu.uky.ai.lp.logic.Formula
- edu.uky.ai.lp.logic.Expression